Altay Languages In Nostratik Languages Theory

Iranian Languages as Gardens

Metacognitive (Rending) Strategies Across Languages and Techniques

African languages and phonological theory

I’ve been asked to write about the mutual influence of African languages and phonological theory, specifically addressing two questions: What and how have African language contributed to phonological theory? What and how have linguistic theories contributed to the understanding African phonology? To treat these questions properly would be a major undertaking, first, because of the large number ...

Number Theory and Formal Languages

I survey some of the connections between formal languages and number theory. Topics discussed include applications of representation in base k, representation by sums of Fibonacci numbers, automatic sequences, transcendence in nite characteristic , automaticreal numbers, xed points of homomorphisms, automaticity, and k-regular sequences.

Applying Tree Languages in Proof Theory

We introduce a new connection between formal language theory and proof theory. One of the most fundamental proof transformations in a class of formal proofs is shown to correspond exactly to the computation of the language of a certain class of tree grammars. Translations in both directions, from proofs to grammars and from grammars to proofs, are provided. This correspondence allows theoretica...